ASSERTIONAL CHECKING AND SYMBOLIC EXECUTION: AN EFFECTIVE COMBINATION FOR DEBUGGINGADAMS JM; ARMSTRONG J; SMARTT M et al.1979; ACM 79. ASSOCIATION FOR COMPUTING MACHINERY. 1979 ANNUAL CONFERENCE/1979/DETROIT MI; USA; NEW YORK: ACM; DA. 1979; PP. 152-156; BIBL. 19 REF.Conference Paper

STEREOTYPED PROGRAM DEBUGGING: AN AID FOR NOVICE PROGRAMMERSWERTZ H.1982; INT. J. MAN-MACH. STUD.; ISSN 0020-7373; GBR; DA. 1982; VOL. 16; NO 4; PP. 379-392; BIBL. 18 REF.Article

A HIGH-LEVEL DEBUGGER FOR PL/I, FORTRAN AND BASICELLIOTT B.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 4; PP. 331-340Article

Generalized path expressions: a high-level debugging mechanismBRUEGGE, B; HIBBARD, P.The Journal of systems and software. 1983, Vol 3, Num 4, pp 265-276, issn 0164-1212Article

A SYSTEM FOR ANALYSING ADA PROGRAMS AT RUN-TIMEHOLDSWORTH D.1983; SOFTWARE, PRACTICE AND EXPERIENCE; ISSN 0038-0644; GBR; DA. 1983; VOL. 13; NO 5; PP. 407-421; BIBL. 10 REF.Article

REAL-TIME CHECKOUT: THE "SOURCE ERROR FIRST" APPROACHGLASS RL.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 1; PP. 77-83; BIBL. 10 REF.Article

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debugging, Pacific Grove, California, March 20-23, 1983JOHNSON, M. S.SIGPLAN notices. 1983, Vol 18, Num 8, issn 0362-1340, VIII-208 pConference Proceedings

A SOFTWARE DEBUGGING GLOSSARYJOHNSON MS.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 2; PP. 53-70; BIBL. 3 P.Article

APPROACHES TO PROGRAM CORRECTNESSHARRISON JO JR.1978; PROC. AMER. SOC. CIV. ENGRS, J. TECH. COUNC. A.S.C.E.; USA; DA. 1978; VOL. 104; NO 1; PP. 39-48; BIBL. 24 REF.Article

Efficient distributed detection of conjunctions of local predicatesHURFIN, M; MIZUNO, M; RAYNAL, M et al.IEEE transactions on software engineering. 1998, Vol 24, Num 8, pp 664-677, issn 0098-5589Conference Paper

Evaluating testing methods by delivered reliabilityFRANKL, P. G; HAMLET, R. G; LITTLEWOOD, B et al.IEEE transactions on software engineering. 1998, Vol 24, Num 8, pp 584-601, issn 0098-5589Conference Paper

Testing distributed programs containing racing messagesKILGORE, R. B; CHASE, C. M.Computer journal (Print). 1997, Vol 40, Num 8, pp 489-498, issn 0010-4620Article

Scalable Signal Selection for Post-Silicon DebugHUNG, Eddie; WILTON, Steven J. E.IEEE transactions on very large scale integration (VLSI) systems. 2013, Vol 21, Num 6, pp 1103-1115, issn 1063-8210, 13 p.Article

Iterative delta debuggingARTHO, Cyrille.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 223-246, issn 1433-2779, 24 p.Article

SYSTEME CROISE DE MISE AU POINT DU LOGICIEL POUR LES MICROPROCESSEURS DE LA SERIE K580 SUR LE SYSTEME UNIFIE DE CALCULATEURSTISS PA.1982; CIFROVYE USTROJSTVA I MIKROPROCESSORY; ISSN 0137-0480; SUN; DA. 1982; NO 5; PP. 9-18; BIBL. 1 REF.Article

A PROGRAM TESTING ASSISTANTCHAPMAN D.1982; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1982; VOL. 25; NO 9; PP. 625-634; BIBL. 7 REF.Article

THE USE OF SOFTWARE SIMULATORS IN THE TESTING AND DEBUGGING OF MICROPROGRAM LOGICMYERS GJ; HOCKER DG.1981; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1981; VOL. 30; NO 7; PP. 519-523; BIBL. 14 REF.Article

SELF-ASSESSMENT PROCEDURE VIIHALSTEAD WH; SCHNEIDER V.1980; COMMUNIC. A.C.M.; USA; DA. 1980; VOL. 23; NO 8; PP. 475-480Article

UTILISATION DE LA METHODE D'INTERPRETATION DES LANGAGES MACHINE POUR L'ELABORATION DES SYSTEMES AUTOMATISES DE MISE AU POINT DU LOGICIEL DES CALCULATEURS SPECIALISESKOSAREV VV.1977; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1977; NO 1; PP. 75-88; ABS. ANGL.; BIBL. 10 REF.Article

NOTES SUR L'OBSERVATION ET LA COMPREHENSION DE PROGRAMMESGREUSSAY P.sdREPRESENTATION DES CONNAISSANCES ET RAISONNEMENT DANS LES SCIENCES DE L'HOMME. COLLOQUE/1979/SAINT-MAXIMIN; FRA; ROCQUENCOURT: INRIA; DA. S.D.; PP. 357-367; BIBL. 11 REF.Conference Paper

A COURTING TOOL FOR RPGHARTMAN SD.1982; PERFORM. EVAL. REV.; ISSN 0163-5999; USA; DA. 1982; VOL. 11; NO 3; PP. 86-100; BIBL. 11 REF.Article

A TECHNIQUE FOR FINDING STORAGE ALLOCATION ERRORS IN C-LANGUAGE PROGRAMSBARACH DR; TAENZER DH; WELLS RE et al.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 5; PP. 16-23; BIBL. 2 REF.Article

PROGRAMMER VARIABILITYDICKEY DE.1981; PROC. IEEE; ISSN 0018-9219; USA; DA. 1981; VOL. 69; NO 7; PP. 844-845; BIBL. 14 REF.Article

USER MICROPROGRAMMING IN AN EXPERIMENTAL POLYPROCESSOR SYSTEM-EPOSMAEDA A; YAMAZAKI I; TANAKA A et al.1980; MICROPROCESSOR SYSTEMS: SOFTWARE, FIRMWARE AND HARDWARE. EUROMICRO 80 SYMPOSIUM ON MICROPROCESSING AND MICROPROGRAMMING. 6/1980/LONDON; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1980; PP. 343-351; BIBL. 8 REF.Conference Paper

AN INTERACTIVE PROGRAMMING SYSTEM FOR PASCALWILANDER J.1980; ; BIT; DNK; DA. 1980; VOL. 20; NO 2; PP. 163-174; BIBL. 10 REF.Article